<HTML><HEAD>
<META NAME="legal" CONTENT="See notice at end of class.">
<META NAME="description" CONTENT="Abstract record for execution recording mechanism">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)">
<META NAME="copyright" CONTENT="Copyright (c) 1984-2008, Eiffel Software and others">
<META NAME="source" CONTENT="Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com">
<META NAME="library" CONTENT="EiffelBase: Library of reusable components for Eiffel.">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>rt_dbg_value_record Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="rt_dbg_value_record_chart.html">Chart</A></TD><TD><A HREF="rt_dbg_value_record_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "Abstract record for execution recording mechanism"
    status: "See notice at end of class."
    legal: "See notice at end of class."
    date: "$Date: 2008-04-16 18:12:24 +0200 (Wed, 16 Apr 2008) $"
    revision: "$Revision: 73040 $"

<B>deferred</B> <B>class</B> <B>interface</B>
    <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>


<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_associated_object"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_associated_object">associated_object</A>: <A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Associated object, if any</FONT>
</A>
    <A NAME="f_current_value_record"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_current_value_record">current_value_record</A>: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Record for current value</FONT>
</A>
    <A NAME="f_debug_output"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_debug_output">debug_output</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> String that should be displayed in debugger to represent </FONT>`Current'<FONT COLOR="red">.</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/debug_output_flatshort.html">DEBUG_OUTPUT</A>
            result_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_is_local_record"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_is_local_record">is_local_record</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is local record ?</FONT>
</A>
    <A NAME="f_is_same_as"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_is_same_as">is_same_as</A> (other: !<A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is Current same as </FONT>`other'<FONT COLOR="red"> ?</FONT>
        <B>ensure</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/rt_dbg_value_record_flatshort.html#f_type">type</A> = other.<A HREF="../base/rt_dbg_value_record_flatshort.html#f_type">type</A>
</A>
    <A NAME="f_to_string"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_to_string">to_string</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object considered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> equal to current object?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/any_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update current object using fields of object attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to </FONT>`other'<FONT COLOR="red">, so as to yield equal objects.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access local</FONT>

    <A NAME="f_c_stack_value_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_stack_value_at">c_stack_value_at</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_rt_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>): ?<A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Object value referenced at </FONT>`off'<FONT COLOR="red"> offset of </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Change</FONT>

    <A NAME="f_set_breakable_info"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_set_breakable_info">set_breakable_info</A> (v: <B>like</B> <A HREF="../base/rt_dbg_value_record_flatshort.html#f_breakable_info">breakable_info</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/rt_dbg_value_record_flatshort.html#f_breakable_info">breakable_info</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Change field</FONT>

    <A NAME="f_c_set_boolean_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_boolean_field_at">c_set_boolean_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_character_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_character_32_field_at">c_set_character_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/character_32_flatshort.html">CHARACTER_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_character_8_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_character_8_field_at">c_set_character_8_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_16_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_16_field_at">c_set_integer_16_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/integer_16_flatshort.html">INTEGER_16</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_32_field_at">c_set_integer_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_64_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_64_field_at">c_set_integer_64_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/integer_64_flatshort.html">INTEGER_64</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_8_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_8_field_at">c_set_integer_8_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/integer_8_flatshort.html">INTEGER_8</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_16_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_16_field_at">c_set_natural_16_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_32_field_at">c_set_natural_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_64_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_64_field_at">c_set_natural_64_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/natural_64_flatshort.html">NATURAL_64</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_8_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_8_field_at">c_set_natural_8_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/natural_8_flatshort.html">NATURAL_8</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_pointer_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_pointer_field_at">c_set_pointer_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/pointer_flatshort.html">POINTER</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_real_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_real_32_field_at">c_set_real_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/real_32_flatshort.html">REAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_real_64_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_real_64_field_at">c_set_real_64_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/real_64_flatshort.html">REAL_64</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_reference_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_reference_field_at">c_set_reference_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; value: <A HREF="../base/pointer_flatshort.html">POINTER</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_set_field_at"><A HREF="../base/rt_dbg_internal_flatshort.html#f_set_field_at">set_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; value: <A HREF="../base/any_flatshort.html">ANY</A>; object: <A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Change local</FONT>

    <A NAME="f_c_set_boolean_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_boolean_stack_value">c_set_boolean_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_bool: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_character_32_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_character_32_stack_value">c_set_character_32_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_ch32: <A HREF="../base/character_32_flatshort.html">CHARACTER_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_character_8_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_character_8_stack_value">c_set_character_8_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_ch8: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_16_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_16_stack_value">c_set_integer_16_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_i16: <A HREF="../base/integer_16_flatshort.html">INTEGER_16</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_32_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_32_stack_value">c_set_integer_32_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_i32: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_64_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_64_stack_value">c_set_integer_64_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_i64: <A HREF="../base/integer_64_flatshort.html">INTEGER_64</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_integer_8_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_integer_8_stack_value">c_set_integer_8_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_i8: <A HREF="../base/integer_8_flatshort.html">INTEGER_8</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_16_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_16_stack_value">c_set_natural_16_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_n16: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_32_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_32_stack_value">c_set_natural_32_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_n32: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_64_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_64_stack_value">c_set_natural_64_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_n64: <A HREF="../base/natural_64_flatshort.html">NATURAL_64</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_natural_8_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_natural_8_stack_value">c_set_natural_8_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_n8: <A HREF="../base/natural_8_flatshort.html">NATURAL_8</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_pointer_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_pointer_stack_value">c_set_pointer_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_p: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_real_32_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_real_32_stack_value">c_set_real_32_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_i32: <A HREF="../base/real_32_flatshort.html">REAL_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_real_64_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_real_64_stack_value">c_set_real_64_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_i64: <A HREF="../base/real_64_flatshort.html">REAL_64</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_set_reference_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_reference_stack_value">c_set_reference_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_ref: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            a_ref_not_null: a_ref /= <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>
</A>
    <A NAME="f_c_set_void_stack_value"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_set_void_stack_value">c_set_void_stack_value</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_rt_dlt_argument"><A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_dlt_argument">rt_dlt_argument</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 0</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> DLT=DebugLocalType, the type is an argument of a function</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>

    <A NAME="f_rt_dlt_localvar"><A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_dlt_localvar">rt_dlt_localvar</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 1</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> DLT=DebugLocalType, the type is a local variable inside a function</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>

    <A NAME="f_rt_dlt_result"><A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_dlt_result">rt_dlt_result</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 2</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> DLT=DebugLocalType, the type is the Result of the current feature</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>

    <A NAME="f_set_stack_value_at"><A HREF="../base/rt_dbg_internal_flatshort.html#f_set_stack_value_at">set_stack_value_at</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_rt_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; value: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set stack value at position </FONT>`pos'<FONT COLOR="red"> on stack of depth </FONT>`dep'<FONT COLOR="red"> with </FONT>`value'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            a_loc_type_valid: a_loc_type = <A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_dlt_localvar">rt_dlt_localvar</A> <B>or</B> a_loc_type = <A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_dlt_argument">rt_dlt_argument</A> <B>or</B> a_loc_type = <A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_dlt_result">rt_dlt_result</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Change properties</FONT>

    <A NAME="f_get_value"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_get_value">get_value</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Get value</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Get</FONT>

    <A NAME="f_c_boolean_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_boolean_field_at">c_boolean_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> BOOLEAN value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_character_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_character_32_field_at">c_character_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/character_32_flatshort.html">CHARACTER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> CHARACTER_32 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_character_8_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_character_8_field_at">c_character_8_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> CHARACTER_8 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_field_at">c_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): ?<A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Object value referenced at </FONT>`off'<FONT COLOR="red"> offset of </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_integer_16_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_integer_16_field_at">c_integer_16_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/integer_16_flatshort.html">INTEGER_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> INTEGER_16 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_integer_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_integer_32_field_at">c_integer_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> INTEGER_32 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_integer_64_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_integer_64_field_at">c_integer_64_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/integer_64_flatshort.html">INTEGER_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> INTEGER_64 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_integer_8_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_integer_8_field_at">c_integer_8_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/integer_8_flatshort.html">INTEGER_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> INTEGER_8 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_natural_16_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_natural_16_field_at">c_natural_16_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> NATURAL_16 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_natural_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_natural_32_field_at">c_natural_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> NATURAL_32 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_natural_64_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_natural_64_field_at">c_natural_64_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/natural_64_flatshort.html">NATURAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> NATURAL_64 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_natural_8_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_natural_8_field_at">c_natural_8_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/natural_8_flatshort.html">NATURAL_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> NATURAL_8 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_pointer_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_pointer_field_at">c_pointer_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> POINTER value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_real_32_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_real_32_field_at">c_real_32_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/real_32_flatshort.html">REAL_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> REAL_32 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_c_real_64_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_c_real_64_field_at">c_real_64_field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/pointer_flatshort.html">POINTER</A>): <A HREF="../base/real_64_flatshort.html">REAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> REAL_64 value referenced at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Object access</FONT>

    <A NAME="f_eif_type"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_eif_type">eif_type</A> (a_field_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> EIF_ type from field type </FONT>`a_field_type'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_field_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_field_at">field_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_field_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>; object: <A HREF="../base/any_flatshort.html">ANY</A>): ?<A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Object attached at offset </FONT>`off'<FONT COLOR="red"> field of </FONT>`object'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (directly or through a reference)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            object_not_void: object /= <B>Void</B>
            index_large_enough: off &gt;= 1
</A>
    <A NAME="f_field_index_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_field_index_at">field_index_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; obj: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Field name at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`obj'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            obj /= <B>Void</B>
</A>
    <A NAME="f_field_name_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_field_name_at">field_name_at</A> (off: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; obj: <A HREF="../base/any_flatshort.html">ANY</A>): ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Field name at offset </FONT>`off'<FONT COLOR="red"> on </FONT>`obj'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            obj /= <B>Void</B>
</A>
    <A NAME="f_object_field_count"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_object_field_count">object_field_count</A> (obj: !<A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Field_count on </FONT>`obj'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_object_is_expanded"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_object_is_expanded">object_is_expanded</A> (object: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`object'<FONT COLOR="red"> an expanded value ?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            object_not_void: object /= <B>Void</B>
</A>
    <A NAME="f_object_records"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_object_records">object_records</A> (obj: !<A HREF="../base/any_flatshort.html">ANY</A>): ?<A HREF="../base/arrayed_list_flatshort.html">ARRAYED_LIST</A> [<A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> List of field records on </FONT>`obj'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_rt_dynamic_type"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_dynamic_type">rt_dynamic_type</A> (object: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Dynamic type of </FONT>`object'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            object_not_void: object /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            rt_dynamic_type_nonnegative: <B>Result</B> &gt;= 0
</A>
    <A NAME="f_rt_reverse_updated_dynamic_type"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_reverse_updated_dynamic_type">rt_reverse_updated_dynamic_type</A> (fid: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Reverse updated dynamic type id from </FONT>`fid'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            fid_not_negative: fid &gt;= 0
</A>
    <A NAME="f_rt_updated_dynamic_type"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_rt_updated_dynamic_type">rt_updated_dynamic_type</A> (tid: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Updated dynamic type id from </FONT>`tid'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> aka: full dynamic type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            tid_not_negative: tid &gt;= 0
</A>
    <A NAME="f_stack_value_at"><B>frozen</B> <A HREF="../base/rt_dbg_internal_flatshort.html#f_stack_value_at">stack_value_at</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_loc_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; a_rt_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>): ?<A HREF="../base/any_flatshort.html">ANY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Object attached at offset </FONT>`off'<FONT COLOR="red"> field of </FONT>`object'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (directly or through a reference)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A>
            index_large_enough: pos &gt;= 1
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/any_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Properties</FONT>

    <A NAME="f_breakable_info"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_breakable_info">breakable_info</A>: ?<A HREF="../base/tuple_flatshort.html">TUPLE</A> [line: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; nested: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>]</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> breakable information</FONT>

    <A NAME="f_position"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_position">position</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Position of record.</FONT>

    <A NAME="f_type"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_type">type</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A></A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Eiffel type of record value.</FONT>
    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Query</FONT>

    <A NAME="f_changes_between"><A HREF="../base/rt_dbg_common_flatshort.html#f_changes_between">changes_between</A> (csr1: <A HREF="../base/rt_dbg_call_record_flatshort.html">RT_DBG_CALL_RECORD</A>; csr2: ?<A HREF="../base/rt_dbg_call_record_flatshort.html">RT_DBG_CALL_RECORD</A>): <A HREF="../base/arrayed_list_flatshort.html">ARRAYED_LIST</A> [<A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Return records from </FONT>`r1'<FONT COLOR="red"> to -beginning-of- </FONT>`r2'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_common_flatshort.html">RT_DBG_COMMON</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_common_flatshort.html">RT_DBG_COMMON</A>
            csr1_not_void: csr1 /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/rt_dbg_common_flatshort.html">RT_DBG_COMMON</A>
            result_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Runtime</FONT>

    <A NAME="f_restore"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_restore">restore</A> (val: !<A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Restore Current record</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> and associate the backup value to </FONT>`val'
</A>
    <A NAME="f_revert"><A HREF="../base/rt_dbg_value_record_flatshort.html#f_revert">revert</A> (bak: !<A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Revert previous </FONT><A HREF="../base/rt_dbg_value_record_flatshort.html#f_restore">restore</A><FONT COLOR="red"> using the associated </FONT>`backup'<FONT COLOR="red"> value</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Testing</FONT>

    <A NAME="f_c_rt_set_is_inside_rt_eiffel_code"><A HREF="../base/rt_dbg_internal_flatshort.html#f_c_rt_set_is_inside_rt_eiffel_code">c_rt_set_is_inside_rt_eiffel_code</A> (v: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_test_locals"><A HREF="../base/rt_dbg_internal_flatshort.html#f_test_locals">test_locals</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; loc_pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; val: <A HREF="../base/any_flatshort.html">ANY</A>; a_rt_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_test_set_local"><A HREF="../base/rt_dbg_internal_flatshort.html#f_test_set_local">test_set_local</A> (dep: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; loc_pos: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>; val: <A HREF="../base/any_flatshort.html">ANY</A>; a_rt_type: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>)
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_dbg_internal_flatshort.html">RT_DBG_INTERNAL</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Trace</FONT>

    <A NAME="f_dtrace"><A HREF="../base/rt_extension_common_flatshort.html#f_dtrace">dtrace</A> (m: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> note: might be be removed with 6.2	</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_extension_common_flatshort.html">RT_EXTENSION_COMMON</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_dtrace_indent"><A HREF="../base/rt_extension_common_flatshort.html#f_dtrace_indent">dtrace_indent</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> note: might be removed with 6.2</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/rt_extension_common_flatshort.html">RT_EXTENSION_COMMON</A><FONT COLOR="red">)</FONT>
</A>    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

<B>indexing</B>
    library: "EiffelBase: Library of reusable components for Eiffel."
    copyright: "Copyright (c) 1984-2008, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see <a href="http://www.eiffel.com/licensing/forum.txt">http://www.eiffel.com/licensing/forum.txt</a>)"
    source: "[
        Eiffel Software
        356 Storke Road, Goleta, CA 93117 USA
        Telephone 805-685-1006, Fax 805-685-6869
        Website <a href="http://www.eiffel.com">http://www.eiffel.com</a>
        Customer support <a href="http://support.eiffel.com">http://support.eiffel.com</a>
    ]"

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/rt_dbg_value_record_flatshort.html">RT_DBG_VALUE_RECORD</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="rt_dbg_value_record_chart.html">Chart</A></TD><TD><A HREF="rt_dbg_value_record_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

